Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
941	Internal behavior reduction for partner synthesis Niels Lohmann Universität Rostock, Institut für Informatik,  Rostock, Germany [removed] Abstract. Communication is a unique feature o Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2011-02-12 05:16:30 Applied mathematics Concurrency Diagrams Petri net Business Process Execution Language Model checking Redox Reduction Theoretical computer science Models of computation Process management
942	The Design Principles of a Weighted Finite-State Transducer Library Mehryar Mohri, Fernando Pereira and Michael Riley AT&T Labs — Research 180 Park Avenue, Florham Park, NJ[removed] Add to Reading List Source URL: www.cs.mun.ca Language: English - Date: 2006-02-09 10:43:25 Applied mathematics Models of computation Finite state transducer Semiring Shortest path problem Algorithm Floyd–Warshall algorithm Powerset construction Theoretical computer science Automata theory Mathematics
943	Changes to JFLAP to Increase its Use in Courses ∗ Susan H. Rodger Henry Qin Jonathan Su Add to Reading List Source URL: www.cs.duke.edu Language: English - Date: 2011-05-30 17:54:04 Theory of computation Computing Programming paradigms Nested stack automaton Automata theory Models of computation Finite-state machine
944	Solutions of the Goncharov-Millar and Degree Spectra Problems in The Theory of Computable Models Bakhadyr Khoussainov The University of Auckland New Zealand Add to Reading List Source URL: www.math.cornell.edu Language: English - Date: 1999-11-18 16:33:20 Computer science Mathematics Computable function Recursive set Recursively enumerable set Turing reduction Computable isomorphism Low RE Computability theory Theoretical computer science Theory of computation
945	Erkenn[removed]:979–990 DOI[removed]s10670[removed]x ORIGINAL PAPER Ideal Negative Conceivability and the Halting Problem Manolo Martı´nez Add to Reading List Source URL: www.manolomartinez.net Language: English - Date: 2013-09-12 11:31:28 Computer science Turing machine Models of computation Alan Turing Halting problem Computability Oracle machine Hypercomputation Description number Theoretical computer science Computability theory Theory of computation
946	100 SETH LLOYD creates new bits of information, bits which previously did not exist. In other words, quantum mechanics, via decoherence, is constantly Add to Reading List Source URL: spiritualscientific.com Language: English - Date: 2011-03-28 09:40:16 Information theory Randomness Models of computation Cryptography Quantum computer Seth Lloyd Algorithmic information theory Quantum mechanics Complexity Applied mathematics Science Theoretical computer science
947	Capability-based Financial Instruments 1 Mark S. Miller , Chip Morningstar2, Bill Frantz2 1 Add to Reading List Source URL: erights.org Language: English - Date: 2004-05-18 05:27:32 Data types Cryptographic protocols Inter-process communication Models of computation Smalltalk Lambda calculus Variable Alice and Bob Secure multi-party computation Computing Software engineering Computer programming
948	A Closed-loop Model-based Design Approach Based On Automatic Verification and Transformation Kun Zhang Jonathan Sprinkle Add to Reading List Source URL: www.dsmforum.org Language: English - Date: 2014-10-10 07:33:46 Model checkers Automata theory Digital electronics Models of computation Formal methods Finite-state machine Promela Model checking Formal verification Electronic engineering Theoretical computer science Design
949	Department of Nuclear Science and Engineering Massachusetts Institute of Technology SPOTLIGHT ON WOMEN IN NUCLEAR SCIENCE AND ENGINEERING Paola Cappellaro: A Quantum Engineer Add to Reading List Source URL: web.mit.edu Language: English - Date: 2012-04-10 15:13:42 Quantum information science Models of computation Quantum measurement Spintronics Quantum computer Qubit Introduction to quantum mechanics Quantum state Spin Physics Theoretical computer science Quantum mechanics
950	Solutions for Tutorial 9 (Petri Nets) 1. Give the Matrices E+, E- and m0 of the Petri Net below. 2. Draw the reachability graph of the Petri Net below. Figure 1 Petri Net for Exercise 1 and 2 Add to Reading List Source URL: www.lsa.ethz.ch Language: English - Date: 2010-12-02 08:52:32 Petri nets Reachability Petri Computer science Theoretical computer science Applied mathematics Marked graph Models of computation Concurrency Diagrams